1. Identificação | |
Tipo de Referência | Artigo em Evento (Conference Proceedings) |
Site | plutao.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 8JMKD3MGP3W/3GDQ9ES |
Repositório | sid.inpe.br/plutao/2014/06.03.19.45.15 |
Última Atualização | 2014:09.18.14.09.54 (UTC) administrator |
Repositório de Metadados | sid.inpe.br/plutao/2014/06.03.19.45.16 |
Última Atualização dos Metadados | 2018:06.04.23.39.30 (UTC) administrator |
DOI | 10.2514/6.2014-1676 |
ISBN | 9781624102219 |
Rótulo | lattes: 3237709114127674 1 RomeroFerr:2014:SeSpSy |
Chave de Citação | RomeroSchnFerr:2014:SeSpSy |
Título | Semantics in space systems architectures |
Ano | 2014 |
Data de Acesso | 19 maio 2024 |
Tipo Secundário | PRE CI |
Número de Arquivos | 1 |
Tamanho | 431 KiB |
|
2. Contextualização | |
Autor | 1 Romero, Alessandro Gerlinger 2 Schneider, Klaus 3 Ferreira, Maurício Gonçalves Vieira |
Identificador de Curriculo | 1 2 3 8JMKD3MGP5W/3C9JHT8 |
Grupo | 1 CSE-ETES-SPG-INPE-MCTI-GOV-BR 2 3 CRC-CRC-INPE-MCTI-GOV-BR |
Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 University of Kaiserslautern 3 Instituto Nacional de Pesquisas Espaciais (INPE) |
Endereço de e-Mail do Autor | 1 2 3 mauricio@ccs.inpe.br |
Endereço de e-Mail | marcelo.pazos@inpe.br |
Nome do Evento | International Conference on Space Operations, 13. |
Localização do Evento | Pasadena |
Data | may 5-9, 2014. |
Editora (Publisher) | American Institute of Aeronautics and Astronautics |
Páginas | 14pp |
Título do Livro | Proceedings |
Tipo Terciário | Paper |
Histórico (UTC) | 2014-06-03 19:45:16 :: lattes -> administrator :: 2018-06-04 23:39:30 :: administrator -> marcelo.pazos@inpe.br :: 2014 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Tipo do Conteúdo | External Contribution |
Tipo de Versão | publisher |
Palavras-Chave | space systems architectures |
Resumo | Costs, life cycles, technologies and agreements between stakeholders and organizations make space systems unique with respect to complexity. A commonly accepted technique to address part of this complexity is to model and to maintain space systems architectures through the life cycle of their space programs. The benefits may range from supporting consistent model definitions and maintenance up to supporting analysis and verification. Space systems architectures have been modeled using UPDM (Unified Profile for DoDAF And MODAF). In fact, UPDM argues that it provides clearer understanding of the semantics behind specific views and viewpoints. Nonetheless, while UML defines its semantics imprecisely using plain text and variation points, UPDM does not define any semantics. In this paper, we evaluate an extension of fUML (semantics of a foundational subset for executable UML models) as a semantic foundation for space systems architectures. The extension of fUML as a synchronous language provides a limited, but formally precise and deterministic, form to describe structure and behavior in UML. Through the combination of this semantics foundation with UPDM, a precise language supporting a standardized meta-model emerges for the definition of space systems architectures. At the end, a simplified case study covering the operational view (OV-*) is presented. Our initial results show that synchronous fUML is able to offer semantics for UPDM. |
Área | ETES |
Arranjo 1 | urlib.net > Produção pgr ATUAIS > CSE > Semantics in space... |
Arranjo 2 | urlib.net > COCRC > Semantics in space... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | não têm arquivos |
|
4. Condições de acesso e uso | |
URL dos dados | http://urlib.net/ibi/8JMKD3MGP3W/3GDQ9ES |
URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP3W/3GDQ9ES |
Idioma | en |
Arquivo Alvo | RoSF14c.pdf |
Grupo de Usuários | lattes marcelo.pazos@inpe.br |
Grupo de Leitores | administrator marcelo.pazos@inpe.br |
Visibilidade | shown |
Permissão de Leitura | allow from all |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Repositório Espelho | iconet.com.br/banon/2006/11.26.21.31 |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3F35BSP 8JMKD3MGPCW/3F3PAJE |
Lista de Itens Citando | sid.inpe.br/bibdigital/2013/10.19.00.29 3 sid.inpe.br/bibdigital/2013/10.14.22.20 1 sid.inpe.br/mtc-m21/2012/07.13.14.56.30 1 |
Acervo Hospedeiro | dpi.inpe.br/plutao@80/2008/08.19.15.01 |
|
6. Notas | |
Campos Vazios | archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination edition editor format issn lineage mark nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisheraddress rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url volume |
|
7. Controle da descrição | |
e-Mail (login) | marcelo.pazos@inpe.br |
atualizar | |
|